#ifndef __PRINTK_H__
#define __PRINTK_H__

#include <myarg.h>
#include <asm/type.h>

extern i32_t printk(const i8_t *fmt, ...);

#endif